Digital Library


Search: "[ author: Joon Hyung Cho ]" (1)
    Using Model Checking to Verify an Automotive Electric Parking Brake System
    Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
    10.3745/KTSDE.2017.6.4.167
    Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement